Formal models of uml statechart diagrams based on petri nets 狀態(tài)圖的形式化模型
The formalization for uml statechart diagrams Uml狀態(tài)機視圖的rsl形式描述
It is presented that a formalization for uml statechart diagrams in the raise specification language rsl 使用raise規(guī)范語言rsl給出了uml狀態(tài)機視圖的形式描述。
As we will see in other articles in this series on uml basics , other diagrams - including the activity , sequence , and statechart diagrams - refer to the classes modeled and documented on the class diagram 正如我們將會在本系列關(guān)于uml基礎(chǔ)的文章中見到的,其他的圖- -包括活動圖,序列圖和狀態(tài)圖參考類圖中的類建模和文檔化。
In the course of analysis & design , there are different phases such as the inception phase with use case models , the analysis phase with concept models and the design phase with sequence diagrams , class diagrams and statechart diagrams 整個分析和設(shè)計過程具體包括了開始階段的用例分析、分析階段的建立概念模型和設(shè)計階段的時間順序圖、系統(tǒng)類圖和狀態(tài)圖等內(nèi)容。
The design of the simulation software system of agvs transforms the use case view created in analysis phase into a design view that serves as a blueprint for software construction contains class diagrams and statechart diagrams using object - oriented design methods 在agvs仿真軟件系統(tǒng)的面向?qū)ο蟮脑O(shè)計中,將在面向?qū)ο蠓治鲭A段所得的usecaseview轉(zhuǎn)換為designview (設(shè)計視圖) 。
Our work focus on extending standard uml semantics to support simulation domain specific concepts including introducing virtual time in uml , using uml statechart diagram and interaction diagram with virtual time labels and constraints to describe simulation entity functional property 本文對標(biāo)準(zhǔn)uml語義進(jìn)行擴展來支持pads領(lǐng)域的概念,將擴展后的uml用于pads系統(tǒng)仿真建模的好處在于利用uml本身的通用性可以降低pads系統(tǒng)構(gòu)造的復(fù)雜性。
By such a formalization , a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications , which forms the continuation of the previous work on formalization of uml class diagrams in rsl . this allows the definition of uml semantic interpretations that are precise and unambiguous , and also enhancing the readability , conciseness and abstraction of the resulting rsl specification 通過這一形式化提出了一種對圖形化的uml狀態(tài)機視圖模型的形式化和rsl規(guī)范進(jìn)行集成的框架,這一工作是對uml類圖在rsl中形式化的繼續(xù),使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋,同時也提高了rsl規(guī)范的抽象層次,增強了其可讀性簡明性。
Based on the mechanism of uml modeling , , we build a new enterprise modeling method and develop a system for managing assets . in particular , function view is expressed in use case diagram , information view is presented in class diagram , statechart diagram describes business process and we discuss the transformation from logical model in the system to physical model in the database 在工作流建模方面采用狀態(tài)機( statemachine )描述業(yè)務(wù)流程;在企業(yè)功能建模方面采用用例圖( usecasediagram )表達(dá)功能需求;在信息建模方面采用類圖( classdiagram )建立邏輯模型,并討論了邏輯模型向關(guān)系型數(shù)據(jù)庫支持的物理模型的轉(zhuǎn)換。